命題16

命題1

 

 

4つの直線が比例しているならば、外項に囲まれた長方形は内項に囲まれた長方形と等しい。外項に囲まれた長方形が内項に囲まれた長方形と等しいならば、4つの直線は比例している。

 

4つの直線ABCDEFを比例している、つまりABCDに対し同じようにEFに対するとする。

 

Fによる長方形ABEによる長方形CDと等しいことを言う。

 

ACから直線ABCDに対して直角にAGCHを描き、そしてAGFと等しく、そしてCHEと等しく作る。propositionT.11propositionT.1

 

平行四辺形BGDHを仕上げる。propositionT.31

 

それからABCDに対し同じようにEFに対するから、ECHと等しく、そしてFAGと等しいとき、それゆえにABCDに対し同じようにCHAGに対する。propositionX.7

 

それゆえに平行四辺形BGDHにおいて等しい角のまわりの辺はそれぞれ比例している。

 

しかし等しい角のまわりの辺がそれぞれ比例している対応する角の等しいそれらの平行四辺形は等しく、それゆえに平行四辺形BGは平行四辺形DHと等しい。propositionY.14

 

そして、AGFと等しいために、BGFによる長方形ABであり、ECHと等しいために、DHEによる長方形CDであり、それゆえにFによる長方形ABEによる長方形CDと等しい。

 

 

次に、Fによる長方形ABEによる長方形CDと等しいとする。

 

4つの直線が比例している、つまりABCDに対し同じようにEFに対することをいう。

 

同じ結果で、Fによる長方形ABEによる長方形CDと等しく、AGFと等しいために、Fによる長方形AB BGであり、ECHと等しいために、Eによる長方形CDDHであるから、それゆえにBGDHと等しい。

 

そしてそれらは対応する角が等しい。しかし等しく、対応する角が等しい平行四辺形において等しい角のまわりの辺はそれぞれ比例している。propositionY.14

 

それゆえにABCDに対し同じようにCHAGに対する。propositionX.7

 

しかしCHEと等しく、そしてAGFと等しく、それゆえにABCDに対し同じようにEFに対する。

 

それゆえに、4つの直線が比例しているならば、外項に囲まれた長方形は内項に囲まれた長方形と等しい。外項に囲まれた長方形が内項に囲まれた長方形と等しいならば、4つの直線は比例している。

 

                                     証明終了

 

 

 

第6巻命題15へ  第6巻命題17へ  第6巻目次へ